es\_state(${\it es}$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$es\_vartype(${\it es}$; $i$; $x$)